汎用的に証明木の GUI を作成する『Miki β』の開発(外部論文)